Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
31	Program Verification as Satisfiability Modulo Theories Nikolaj Bjørner Microsoft Research Ken McMillan Microsoft Research Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-08-15 16:20:10 Applied mathematics Electronic design automation Logic in computer science NP-complete problems Constraint programming Satisfiability Modulo Theories Boolean satisfiability problem Prolog Predicate transformer semantics Theoretical computer science Mathematics Formal methods
32	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
33	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
34	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
35	WP 0.4 (Draft Manual) WP Plug-in (Draft) Manual Version 0.4 for NitrogenLoïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:56 Predicate transformer semantics Software Logic in computer science Hoare logic Frama-C Precondition Lambert W function Program logic Theoretical computer science Formal methods
36	WP (Draft Manual) WP Plug-in (Draft) Manual Frama-C Carbonbeta-2 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
37	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:46 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering
38	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
39	Generating counterexamples for quantitative safety specifications in probabilistic B Ukachukwu Ndukwu1 Department of Computing, Macquarie University, NSW 2109 Sydney, Australia. Abstract Add to Reading List Source URL: web.science.mq.edu.au Language: English - Date: 2010-04-30 06:17:08 Probabilistic complexity theory Complexity classes Probabilistic Turing machine Turing machine PP NL Predicate transformer semantics IP Model checking Theoretical computer science Computational complexity theory Applied mathematics
40	Simplifying Loop Invariant Generation Using Splitter Predicates? Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken Department of Computer Science Stanford University {sharmar,isil,tdillig,aiken}@cs.stanford.edu Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2011-04-21 20:26:03 Mathematics Predicate transformer semantics Predicate logic Hoare logic Loop invariant Universal quantification Invariant Predicate Logic Mathematical logic Program logic